Nuprl Definition : frequency 0,22

frequency(f;x) ~ (p/q) == m, k:. j:. k<j & |#{i<j|f i eq x}/j - p/q| < 1/m 
latex



clarification:

frequency(eq;f;x;p;q) == m:, k:. j:. k<j & |#{i<j|f i eq x}/j - p/q| < 1/m 
latex


Definitionsx:A. B(x), x:A. B(x), , A & B, a<b, |a/b - p/q| < 1/m, #{i<j|f i eq x}
FDL editor aliasesfrequency

origin